Comment.

diff --git a/doc/misc/Makefile.in b/doc/misc/Makefile.in
index 3c74f1208c977fdd3883137abbe59ce73ca18500..cea785267a7e5e288b3800969c3572b9002f27d1 100644 (file)
--- a/doc/misc/Makefile.in
+++ b/doc/misc/Makefile.in
@@ -36,6 +36,7 @@ infodir=../../info
 # Use --force so that it generates output even if there are errors.
 MAKEINFO = makeinfo --force
 
+# Also add new entries to INFO_FILES in the top-level Makefile.in.
 INFO_TARGETS = \
        $(infodir)/ada-mode \
        $(infodir)/auth \